A Taxonomy of Requirements Specification Techniques

ثبت نشده
چکیده

A taxonomy is introduced and used as a backdrop against which current state-of-the-art in the requirements engineering field is reviewed. The emphasis is on identifying general trends and issues rather than offering the reader a literature survey. The contents of a requirements specification is presented in light of the consensus reached by both theoreticians and practitioners. The desirable proper ties of a requirements may alter the relative significance of difference properties. Finally, the classification of requirements specification techniques is approached from a total system design perspective. The paper shows that, despite significant growth, the requirements area still faces a number of important unresolved issues including the need for: broader formal foundation for both functional and non-functional requirements, greater degree of formality and automation, new requirements development methods, and higher level of integration in the overall design process. ... Read complete abstract on page 2.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Taxonomy of Verification and Validation of Software Requirement and Specifications1

Assuring the quality of software requirement specifications is critical. Poor requirement specifications may make costly errors during the development process. Therefore methods and techniques for verification and validation of software requirement specifications are fundamentally important. This survey presents taxonomy of verification and validation of requirements and specifications that rep...

متن کامل

Representing Variability in Product Lines: A Survey of Modeling and Specification Techniques

Software product lines are increasingly used to develop safety-critical and missioncritical systems. To reason about the correctness of product lines, researchers have developed special testing techniques and adapted formal verification techniques such as model checking and theorem proving to the requirements of software product lines. Existing research has focused on the strategies to enable e...

متن کامل

On the Use of Visualization in Formal Requirements Specification

A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple visualizations generated from a common model will improve the requirements creation, reviewing and understanding process. Visual representations, when effective, provide cognitive support by highlighting the most relevant...

متن کامل

A Conceptual Model and Specification Language for Mixed Reality Interface Components

This paper presents a uniform approach for specifying mixed reality user interfaces, including 3D interaction techniques and 3D widgets. Our main goal is to facilitate the process of reusing previous work, so more complex applications can be built and documented in a formal and uniform way. Our work builds on previous experiences and taxonomies in related fields. Our specification method is des...

متن کامل

Objects Identification in Object-Oriented Software Development - A Taxonomy and Survey on Techniques

Analysis and design of object oriented is onemodern paradigms for developing a system. In this paradigm, there are several objects and each object plays some specific roles. Identifying objects (and classes) is one of the most important steps in the object-oriented paradigm. This paper makes a literature review over techniques to identify objects and then presents six taxonomies for them. The f...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2016